On the Combination of Partial Action Descriptions

We investigate the problems of precondition interactions and eeect cumulations, typically caused by the concurrent execution of actions. Our analysis leads to an integration of property oriented and resource oriented approaches to the representation of action and change. We formalize our ideas by introducing an extension AORC of the Action Description Language AC 2]. In order to enable sound and complete automated inference, we give a corresponding encoding in terms of the Fluent Calculus 10].